- 多态性λ微积分
- lambda calculus: lambda可定义函数; Λ-递归函数; Λ演算; λ演算; 无类型 lambda 演算; 无类型lambda演算; 演算
- normalization property (lambda-calculus): 规范化性质
- simply typed lambda calculus: 简单类型 lambda 演算; 简单类型lambda演算
- typed lambda calculus: 有类型 lambda 演算; 有类型lambda演算
- polymorphic: adj. ＝polymorphous.
下载手机词典可随时随地查词查翻译